81. Computability with pascal
المؤلف: Mallozzi, John s.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
رده :
QA
9
.
59
.
M34
1984
82. Computation, Logic, Philosophy :
المؤلف: by Hao Wang.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information theory.,Mathematics.,Technology -- Philosophy.
83. Computation, logic, games, and quantum foundations :
المؤلف: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
84. Computational Logic - CL 2000 :
المؤلف: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
85. Computations in higher types
المؤلف: Moldestad, Johan
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions
رده :
QA
3
.
L28
no
.
574
86. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
87. Computations in higher types
المؤلف: Moldestad, Johan
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Recursive functions
رده :
QA
1
.
L4
v
.
574
88. Computations in higher types
المؤلف: Moldestad, Johan, 6491-
المکتبة: (طهران)
موضوع: ، Recursive functions
رده :
QA
3
.
L28
Vol
.
574
89. Computations in higher types, Lecture notes in mathematics
المؤلف: Moldestad, Johan,6491-, Johan Moldestad
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Recursive functions
رده :
QA
3
.
M6C6
1977
91. Computer Networks and Systems
المؤلف: by Thomas G. Robertazzi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Statistics.
92. Computer-aided design and manufacturing :
المؤلف: T Kohonen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
TS155
.
6
T564
2012
93. Computing with foresight and industry :
المؤلف: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
94. Counterparty credit risk, collateral and funding :
المؤلف: Damiano Brigo, Massimo Morini, Andrea Pallavicini
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Credit derivatives-- Mathematical models.,Credit-- Mathematical models.,Finance-- Mathematical models.,Financial risk-- Mathematical models.
رده :
HG106
95. Data structure programming :
المؤلف: Joseph Bergin
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
73
.
C153
J674
2013
96. Degrees of unsolvability
المؤلف: Sacks, Gerald E.
المکتبة: (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S2
1966
97. Degrees of unsolvability
المؤلف: / by Joseph R. Shoenfield
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical,Recursive functions
رده :
511
Sh-D
98. Degrees of unsolvability
المؤلف: Shoenfield, Joseph Robert
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
رده :
QA
9
.
S518
99. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
100. Difference and differential equations with applications in queueing theory /
المؤلف: Aliakbar M. Haghighi Department of Mathematics, Prairie View A and M University, Prairie View, Texas, Dimitar P. Mishev Department of Mathematics, Prairie View A and M University, Prairie View, Texas
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Difference equations,Differential equations,Queuing theory,Difference equations,Differential equations,Mathematics,Queuing theory
رده :
QA274
.
8
